State-based schedules use a time division multiple access (TDMA) mechanism that supports executing conditional\nsemantics and making on-the-fly decisions at runtime in each communication cycle. Until now, state-based schedules\nare unable to tolerate transient faults due to the assumption that stations make the on-the-fly decision on which\nmessage to execute next. Stations may make a faulty decision at run time in an unreliable communication\nenvironment such as wireless medium due to the presence of transient faults. This faulty decision causes state\ninconsistency among the stations in the system.\nIn this work, we extend state-based schedules to tolerate faulty decisions in environments where transient faults can\noccur at the communication layer. Our proposed approach generates fault-tolerant state-based schedules using an\ninteger linear programming optimization model after reducing the possibility of state inconsistency through using a\nclock and a sampling rate synchronization mechanism. The optimization model maximizes the use of time slots to\nplace checkpoints for fault tolerance and resolving state inconsistency.
Loading....